Remove hand-written node pointers in doc/misc/reftex.texi
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 20:29:16 +0000 (12:29 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 20:29:16 +0000 (12:29 -0800)
commit2144f0de05559495a5accaaac28a89b38ad8ea93
tree0c57d4514997b94775bde18f4923079f28e54ecb
parent446abfb08a5a531b9f2d14c85ccceebb34d33bfd
Remove hand-written node pointers in doc/misc/reftex.texi
Fix up sectioning
doc/misc/ChangeLog
doc/misc/reftex.texi